Definition: A "rock drill" is a type of tool used to make holes in rock. It is often used in construction, mining, or geological exploration. The drill can be powered by electricity or air and is designed to break through hard surfaces like stone or concrete.
In more technical contexts, you might hear phrases like "pneumatic rock drill," which refers to a rock drill powered by compressed air.
While "rock drill" specifically refers to a tool, the word "rock" can also refer to a type of music (rock music) or a solid mineral material.
A "rock drill" is a specialized tool for drilling into hard materials.